Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
281	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 1, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:45:32 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
282	[hal, v1] Semantic A-translation and Super-consistency entail Classical Cut Elimination Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 09:59:08 Proof theory Propositional calculus Deduction Boolean algebra Algebraic logic Natural deduction Heyting algebra Sequent calculus Negation Logic Mathematical logic Mathematics
283	Intel® OpenSource HD Graphics Programmer’s Reference Manual (PRM) Volume 1 Part 4: Graphics Core™ – Blitter Engine (Ivy Bridge) Add to Reading List Source URL: files.renderingpipeline.com Language: English - Date: 2013-09-24 10:26:35 Computing Exclusive or Logic Propositional calculus Mask MOS Technology SID Swap Electronics XOR swap algorithm Binary arithmetic Boolean algebra Mathematics
284	Microsoft Word - vol1_Part 5_OS Scrub.doc Add to Reading List Source URL: files.renderingpipeline.com Language: English - Date: 2013-09-24 10:26:56 Classes of computers Digital media Exclusive or Logic Propositional calculus Mask MOS Technology SID Swap XOR Binary arithmetic Computing Boolean algebra
285	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Boolean algebra Logical syntax Formal languages Well-formed formula Logical connective FO Logic Mathematical logic Propositional calculus
286	Logic Formulae Tanya Khovanova December 9, 2013 Student: Teacher, would you punish me for something I didn’t do? Teacher: No, why? Student: I didn’t do my homework. Add to Reading List Source URL: www.tanyakhovanova.com Language: English - Date: 2013-12-20 11:45:43 Mathematics Philosophical logic Boolean algebra Semantics If and only if Negation Universal quantification Truth table Truth Logic Propositional calculus Philosophy
287	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Function Model theory Linear temporal logic Μ operator Logic Mathematics Mathematical logic
288	ZU064-05-FPR linearpi 20 December 2013 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-17 07:07:57 Proof theory Deduction Propositional calculus Logic in computer science Non-classical logic Natural deduction Function Π-calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
289	Reed College Library ___________ Special Collections & Archives: Manuscripts GRIFFIN PAPERS FRANK LOXLEY GRIFFIN PAPERS Add to Reading List Source URL: library.reed.edu Language: English - Date: 2014-08-05 17:15:43 Calculus of variations Coding theory Propositional calculus Geometric algebra Mathematics Integral Curve
290	Journal of Universal Computer Science, vol. 15, no), submitted: , accepted: , appeared: 1/7/09 © J.UCS On the Semantics and Verification of Normative Multi-Agent Systems L˘ Add to Reading List Source URL: www.jucs.org Language: English - Date: 2010-11-24 10:39:58 Logic programming Predicate logic Propositional calculus Clause J Norm Reason Operational semantics Brute fact Software engineering Computing Computer programming

UPDATE